\section{File List}
Here is a list of all documented files with brief descriptions\-:\begin{DoxyCompactList}
\item\contentsline{section}{controller/{\bfseries G\-U\-I\-Controller.\-h} }{\pageref{controller_2GUIController_8h}}{}
\item\contentsline{section}{controller/{\bfseries Model\-Check\-Dialog\-Controller.\-h} }{\pageref{ModelCheckDialogController_8h}}{}
\item\contentsline{section}{controller/{\bfseries Place\-Prob\-Dialog\-Controller.\-h} }{\pageref{PlaceProbDialogController_8h}}{}
\item\contentsline{section}{controller/{\bfseries S\-T\-D\-Dialog\-Controller.\-h} }{\pageref{STDDialogController_8h}}{}
\item\contentsline{section}{model/{\bfseries D\-F\-P\-N2.\-h} }{\pageref{DFPN2_8h}}{}
\item\contentsline{section}{model/{\bfseries Event.\-h} }{\pageref{Event_8h}}{}
\item\contentsline{section}{model/\hyperlink{Facade_8cpp}{Facade.\-cpp} \\*The Facade following the facade pattern. The facade pattern gives a class to access the subsystem of the models. The controllers send requests to the facade }{\pageref{Facade_8cpp}}{}
\item\contentsline{section}{model/{\bfseries Facade.\-h} }{\pageref{Facade_8h}}{}
\item\contentsline{section}{model/{\bfseries Formula.\-h} }{\pageref{Formula_8h}}{}
\item\contentsline{section}{model/{\bfseries Geometry\-Helper.\-h} }{\pageref{GeometryHelper_8h}}{}
\item\contentsline{section}{model/{\bfseries Interval\-Set.\-h} }{\pageref{IntervalSet_8h}}{}
\item\contentsline{section}{model/{\bfseries Line.\-h} }{\pageref{Line_8h}}{}
\item\contentsline{section}{model/{\bfseries Logger.\-h} }{\pageref{Logger_8h}}{}
\item\contentsline{section}{model/\hyperlink{ModelChecker_8cpp}{Model\-Checker.\-cpp} \\*The model checker class for model checking H\-P\-N\-Gs against S\-T\-L }{\pageref{ModelChecker_8cpp}}{}
\item\contentsline{section}{model/{\bfseries Model\-Checker.\-h} }{\pageref{ModelChecker_8h}}{}
\item\contentsline{section}{model/{\bfseries Polygon.\-h} }{\pageref{Polygon_8h}}{}
\item\contentsline{section}{model/{\bfseries Region.\-h} }{\pageref{Region_8h}}{}
\item\contentsline{section}{model/{\bfseries Timed\-Diagram.\-h} }{\pageref{TimedDiagram_8h}}{}
\item\contentsline{section}{model/clipper/{\bfseries clipper.\-hpp} }{\pageref{clipper_8hpp}}{}
\item\contentsline{section}{model/flex/{\bfseries D\-F\-P\-N2.\-h} }{\pageref{flex_2DFPN2_8h}}{}
\item\contentsline{section}{model/flex/\hyperlink{fmll_8cpp}{fmll.\-cpp} \\*The lexer for tokenizing S\-T\-L formulas The lexer tokenizes S\-T\-L formulas and is generated by flex/lexer.\-l in combination with Flex }{\pageref{fmll_8cpp}}{}
\item\contentsline{section}{model/flex/\hyperlink{fmly_8cpp}{fmly.\-cpp} \\*The parser for retrieving the S\-T\-L formulas The parser retrieves S\-T\-L formulas as A\-S\-T generated by flex/parser\-\_\-bison\-\_\-class.\-y in combination with Bison }{\pageref{fmly_8cpp}}{}
\item\contentsline{section}{model/flex/{\bfseries Formula.\-h} }{\pageref{flex_2Formula_8h}}{}
\item\contentsline{section}{model/flex/{\bfseries Formula\-\_\-struct.\-h} }{\pageref{Formula__struct_8h}}{}
\item\contentsline{section}{model/flex/{\bfseries Interval\-\_\-struct.\-h} }{\pageref{Interval__struct_8h}}{}
\item\contentsline{section}{model/flex/{\bfseries Interval\-Set.\-h} }{\pageref{flex_2IntervalSet_8h}}{}
\item\contentsline{section}{model/flex/{\bfseries lexglobal.\-h} }{\pageref{lexglobal_8h}}{}
\item\contentsline{section}{model/flex/\hyperlink{location_8hh}{location.\-hh} }{\pageref{location_8hh}}{}
\item\contentsline{section}{model/flex/{\bfseries Logger.\-h} }{\pageref{flex_2Logger_8h}}{}
\item\contentsline{section}{model/flex/{\bfseries parser.\-h} }{\pageref{parser_8h}}{}
\item\contentsline{section}{model/flex/{\bfseries parser\-\_\-bison\-\_\-class.\-tab.\-h} }{\pageref{parser__bison__class_8tab_8h}}{}
\item\contentsline{section}{model/flex/{\bfseries parser\-\_\-yacc.\-tab.\-h} }{\pageref{parser__yacc_8tab_8h}}{}
\item\contentsline{section}{model/flex/{\bfseries parserstructs.\-h} }{\pageref{parserstructs_8h}}{}
\item\contentsline{section}{model/flex/\hyperlink{position_8hh}{position.\-hh} }{\pageref{position_8hh}}{}
\item\contentsline{section}{model/flex/{\bfseries stack.\-hh} }{\pageref{stack_8hh}}{}
\item\contentsline{section}{model/flex/{\bfseries y.\-tab.\-h} }{\pageref{y_8tab_8h}}{}
\item\contentsline{section}{view/{\bfseries G\-U\-I\-Controller.\-h} }{\pageref{view_2GUIController_8h}}{}
\end{DoxyCompactList}
